home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / pluginy Firefox / 59267 / 59267.xpi / chrome / content / options.js < prev    next >
Text File  |  2010-01-25  |  2KB  |  74 lines
  1. var autoHideTabBar12Options = {
  2.  
  3.    load : function()
  4.    {
  5.       var prefs = Components.classes["@mozilla.org/preferences-service;1"]
  6.                   .getService(Components.interfaces.nsIPrefService);
  7.       var myprefs = prefs.getBranch("extensions.autohidetabbar.");
  8.  
  9.       // Read parameters from Preferences.
  10.  
  11.       document.getElementById("ahtb12Enabled").checked =
  12.          myprefs.getBoolPref("isEnabled");
  13.  
  14.       document.getElementById("ahtb12TabbarAtBottom").checked =
  15.          myprefs.getBoolPref("isTabbarAtBottom");
  16.    },
  17.  
  18.    save : function()
  19.    {
  20.       var prefs = Components.classes["@mozilla.org/preferences-service;1"]
  21.                   .getService(Components.interfaces.nsIPrefService);
  22.       var myprefs = prefs.getBranch("extensions.autohidetabbar.");
  23.       var defprefs = prefs.getDefaultBranch("extensions.autohidetabbar.");
  24.  
  25.       // Write parameters to Preferences.
  26.  
  27.       this.savePrefValue(defprefs, myprefs,
  28.             "ahtb12Enabled", "isEnabled", "bool");
  29.  
  30.       this.savePrefValue(defprefs, myprefs,
  31.             "ahtb12TabbarAtBottom", "isTabbarAtBottom", "bool");
  32.  
  33.       this.notifyBrowser();
  34.  
  35.       return true;
  36.    },
  37.  
  38.    savePrefValue : function(defprefs, myprefs, elmtname, prefname, type)
  39.    {
  40.       if ("bool" == type)
  41.       {
  42.          var value = document.getElementById(elmtname).checked;
  43.  
  44.          if (defprefs.getBoolPref(prefname) != value)
  45.             myprefs.setBoolPref(prefname, value);
  46.          else if (myprefs.prefHasUserValue(prefname))
  47.             myprefs.clearUserPref(prefname);
  48.       }
  49.       else if ("char" == type)
  50.       {
  51.          var value = document.getElementById(elmtname).value;
  52.  
  53.          if (defprefs.getCharPref(prefname) != value)
  54.             myprefs.setCharPref(prefname, value);
  55.          else if (myprefs.prefHasUserValue(prefname))
  56.             myprefs.clearUserPref(prefname);
  57.       }
  58.    },
  59.  
  60.    notifyBrowser : function()
  61.    {
  62.       var wm = Components.classes["@mozilla.org/appshell/window-mediator;1"]
  63.                   .getService(Components.interfaces.nsIWindowMediator);
  64.       var enumerator = wm.getEnumerator("navigator:browser");
  65.       while(enumerator.hasMoreElements()) {
  66.          var win = enumerator.getNext();
  67.          if (win && win.autoHideTabBar12)
  68.             win.autoHideTabBar12.readPrefs();
  69.       }
  70.    }
  71. }
  72.  
  73.  
  74.